این مقاله ترجمه مقاله انگلیسی Bipartite graph-based control flow checking for
COTS-based small satellites می باشد ./

سال انتشار : 2015/

انتشارات : Chinese Journal of Aeronautics /

تعداد صفحات مقاله انگلیسی :11/ pdf

تعداد صفحات فایل ترجمه : 39/

فرمت فایل ترجمه : Word /

چکیده

تأثیر SEU (تلاطم تک رویدادی) ناشی از ذرات پرانرژی موجود در فضا، اطمینان و امنیت ماهواره‌های کوچک شامل COTS را تهدید می‌کند. خطاهای جریان کنترل ناشی از SEU (CFES) می‌توانند به رفتار غیرقابل پیش‌بینی یا فروپاشی ماهواره‌های کوچک COTS-بنیان منجر شوند. این مقاله یک تکنیک بررسی جریان کنترل مبتنی بر نرم‌افزار بعدی(CFC) و بررسی جریان کنترل مبتنی بر گراف دو قسمتی (BGCFC) ارائه می‌دهد. برای تسهیل انواع انشعاب‌سازی غیرقانونی، گراف جریان کنترل متعارف را به گراف دوقسمتی معادل تبدیل می‌کند. همچنین قانونی بودن جریان کنترل در زمان اجرا را به وسیله‌ی مقایسه‌ی یک امضای جهانی با مقدار مورد نیاز بررسی کرده و IDS متوالی و بیت‌مپ‌ها (bitmaps) را ارائه می‌کند تا اضافه بار حافظه و زمان کاهش یابد. تحلیل نظری نشان می‌دهد که BGCFC می‌تواند انواع CFES بین-گرهی را با اضافه بار حافظه و زمان ثابت شناسایی کند. تست‌های عملی هم نتیجه‌ی تحلیل نظری را ثابت می‌کنند.

BGCFC در مقایسه با تکنیک‌های قبلی بالاترین سرعت شناسایی خطا و اضافه بار زمانی و حافظه‌ای کمی دارد. نتیجه‌ی ترکیبی ارزیابی فاکتوری نشان می‌دهد که BGCFC مؤثرترین تکنیک است. نتایج نظری و عملی هم قابلیت کاربرد BGCFC را برای ماهواره‌های کوچک COTS-بنیان ثابت می‌کنند.